Section: New Results

Linear rewriting systems for Boolean logic

Participant : Lutz Straßburger.

Last year's result on the nonexistence of a complete linear term rewriting system for propositional logic  [53] has been generalized and some applications to proof theory have been invesigated. For example, we have found that the medial rule which plays a central role in deep inference systems is canonical in a strong sense: It is minimal, and every rule that reduce contraction to an atomic form is indeed derivable via medial. This is published in [15] (joint work with Anupam Das).